package edu.gatech.cc.concolic.expression;


import java.io.Serializable;

public interface SymbolicExpression extends Serializable {

	public void accept(SymbolicExpressionVisitor visitor);
	
}
